An Enterprise Architecture (EA) provides a holistic view of an enterprise. In creating or changing an EA, multiple decisions have to be made, which are based on assumptions about the situation at hand. In this thesis, we develop a framework for reasoning about changing decisions and assumptions, based on logical theories of intentions. This framework serves as the underlying formalism for a recommender system for EA decision making.

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, containing expressions about temporal propositions (tomorrow it will rain), possibility (it may rain tomorrow), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl representation theorems by restricting the logic to formulas representing beliefs up to certain time. We illustrate our belief change model through several examples.

An Enterprise Architecture (EA) provides a holistic view of an enterprise. In creating or changing an EA, multiple decisions have to be made, which are based on assumptions about the situation at hand. In this thesis, we develop a framework for reasoning about changing decisions and assumptions, based on logical theories of intentions. This framework serves as the underlying formalism for a recommender system for EA decision making.